Online archief van PDF artikelen van enkele gerelateerde Array-vaktijdschriften, zoals Database Magazine, Software Release en Java Magazine, uit de periode 2000 - 2011.
Het ontwikkelen van software gaat niet zonder fouten. Wie denkt ooit foutloze software te ontwikkelen, komt er snel achter dat dit een utopie is. Software systemen van enige omvang laten zien dat het gedrag dusdanig complexe vormen aanneemt, dat die door mensen niet overzien kan worden. Om toch enige grip uit te oefenen op de correctheid, worden vaak testen en simulaties uitgevoerd om zoveel mogelijk fouten op te sporen.
Trefwoord(en): software ontwikkelen,formele methoden,toepassingen